Chu spaces as a semantic bridge between linear logic and mathematics Vaughan Pratt ∗ Dept. of Computer Science Stanford University Stanford, CA[removed]

Source URL: boole.stanford.edu

• Category theory
• Model theory
• Order theory
• Monoidal categories
• Chu space
• Cartesian closed category
• Functor
• Adjoint functors
• Denotational semantics
• Mathematics
• Algebra
• Abstract algebra

Orthocurrence as both Interaction and Observation Vaughan R. Pratt Stanford University and Tiqit Computers January 9, 2005 Abstract

Source URL: boole.stanford.edu

• Abstract algebra
• Mathematical structures
• Topology
• Multilinear algebra
• Tensor
• Vector space
• Chu space
• Bilinear map
• Cartesian closed category
• Algebra
• Mathematics
• Linear algebra

Event-State Duality: The Enriched Case Vaughan R. Pratt Stanford University, Stanford CA 94305, USA [removed] http://boole.stanford.edu/pratt.html

Source URL: boole.stanford.edu

• Category theory
• Mathematical structures
• Algebraic structures
• Monoidal categories
• Chu space
• Enriched category
• Monoid
• Functor
• Category
• Algebra
• Mathematics
• Abstract algebra

Space  Telescope  User’s  Committee  Report:  May  2014       STUC   Attendees:    Marc  Buie;  Jane  Charlton  (remote);  Michael  Cushing;  Yo-­‐Hua   Chu

Source URL: www.stsci.edu

• Spaceflight
• Space technology
• European Space Agency
• Space Telescope Science Institute
• James Webb Space Telescope
• Advanced Technology Large-Aperture Space Telescope
• Scottish Trades Union Congress
• Wide Field Camera 3
• European Southern Observatory
• Spacecraft
• Hubble Space Telescope
• Space telescopes

ModRED: A Modular Self-Reconfigurable Robot For Autonomous Extra-terrestrial Exploration and Discovery Carl Nelson, Khoa Chu, Prithviraj Dasgupta Keywords: Natural terrain navigation, novel vehicle design concepts. I. I

Source URL: ewh.ieee.org

• Space stations
• Self-reconfiguring modular robot
• Webots
• International Space Station
• Robotics
• Modularity
• Module
• Robot
• Actuator
• Spaceflight
• Human spaceflight
• Manned spacecraft

NGC 3603 Hubble Space Telescope • WFPC2 PRC99-20 • STScI OPO Wolfgang Brandner (JPL/IPAC), Eva K. Grebel (University of Washington), You-Hua Chu (University of Illinois, Urbana-Champaign) and NASA

Source URL: imgsrc.hubblesite.org

2011 Survey of the Planetary Science Workforce Susan White, Raymond Y. Chu and Rachel Ivie Statistical Research Center / American Institute of Physics

Source URL: lasp.colorado.edu

• Space science
• Planetary science

  April 30, 2014 The Honorable Judy Chu U.S. House of Representatives Washington, D.C[removed]

Source URL: www.cityprojectca.org

• Environmental law
• Environmental protection
• Environmental social science
• National Park Service
• Earth
• Wilderness
• Conservation
• Recreation resource planning
• Urban open space
• Environment
• Conservation in the United States
• Environmental justice

Structure from sorts, properties, and composition A minimalist approach to topoalgebraic structure Vaughan Pratt Stanford University July 23, 2011

Source URL: boole.stanford.edu

• Category theory
• Chu space
• Topology
• Sheaf
• Category
• Functor
• Adjoint functors
• Graph
• Structure
• Mathematics
• Abstract algebra
• Algebra

Committee Discusses DOE’s Energy Priorities with Secretary Chu On March 17, Secretary of Energy Steven Chu testified before the Full Committee. At the hearing Secretary Chu discussed the Administration’s near-term ob

Source URL: archives.democrats.science.house.gov

• United States House Committee on Science
• Space and Technology
• Public policy
• 111th United States Congress
• Administrative Law
• Process and Procedure Project
• Government
• Vern Ehlers
• ARPA-E